Was (wer) ist Θεωρήματα μη πληρότητας του Γκέντελ - definition

Στη μαθηματική λογική, τα θεωρήματα μη πληρότητας του Γκέντελ, τα οποία αποδείχτηκαν από τον Κουρτ Γκέντελ (Kurt Gödel) το 1931, είναι δύο θεωρήματα που υποδεικνύουν έμφυτους περιορισμούς σε όλα τα (πλην των τετριμμένων) τυπικά συστήματα των μαθηματικών. Τα θεωρήματα είναι πολύ σημαντικά για τη φιλοσοφία των μαθηματικών. Ερμηνεύονται γενικά ως μια απόδειξη πως το πρόγραμμα του Χίλμπερτ να βρεθεί ένα πλήρες και συνεπές σύνολο από αξιώματα για όλα τα μαθηματικά είναι αδύνατο, δίνοντας έτσι αρνητική απάντηση στο δεύτερο πρόβλημα του Χίλμπερτ.

Ο Κουρτ Γκέντελ (γερμ.: Kurt Friedrich Gödel, 28 Απριλίου 1906 – 14 Ιανουαρίου 1978) ήταν Αυστρο-Αμερικανός επιστήμονας της λογικής, μαθηματικός και φιλόσοφος. Ένας από τους πιο σημαντικούς επιστήμονες της λογικής όλων των εποχών, ο Γκέντελ είχε τεράστια επιρροή στην επιστημονική και φιλοσοφική σκέψη του 20ου αιώνα, σε μια εποχή όταν πολλοί, όπως ο Μπέρτραντ Ράσελ, ο Α. Ν. Γουάιτχεντ και ο Νταβίντ Χίλμπερτ, πρωτοπορούσαν στη χρήση της λογικής και της θεωρίας συνόλων για την κατανόηση των θεμελίων των μαθηματικών.Principia Mathematica (Stanford Encyclopedia of Philosophy)

Ένας Μη Κυβερνητικός Οργανισμός (ΜΚΟ) είναι ένας νομικά συγκροτημένος οργανισμός που δημιουργήθηκε από φυσικά ή νομικά πρόσωπα που λειτουργεί ανεξάρτητα από κάθε κυβέρνηση, και ένας όρος που χρησιμοποιείται συνήθως από τις κυβερνήσεις για να αναφερθούν σε πρόσωπα που δεν ελέγχονται από την κυβέρνηση. Στις περιπτώσεις κατά τις οποίες οι ΜΚΟ χρηματοδοτούνται εξ ολοκλήρου ή εν μέρει από τις κυβερνήσεις, οι ΜΚΟ υποστηρίζουν το μη κυβερνητικό προσωπικό αποκλείοντας τους εκπροσώπους των κυβερνήσεων από την ένταξή τους στην οργάνωση.